Smullyan's Truth and Provability
https://arxiv.org/abs/2410.17895